A guide to self-improvement from the great thinkers of Judaism.

The transformers that drive chatbots and other AI systems constitute large language models (LLMs). These are currently the focus of a lively discussion in both the scientific literature and the popular media. This discussion ranges from hyperbolic claims that attribute general intelligence and sentience to LLMs, to the skeptical view that these devices are no more than “stochastic parrots”. I present an overview of some of the weak arguments that have been presented against LLMs, and I consider several of the (...) more compelling criticisms of these devices. The former significantly underestimate the capacity of transformers to achieve subtle inductive inferences required for high levels of performance on complex, cognitively significant tasks. In some instances, these arguments misconstrue the nature of deep learning. The latter criticisms identify significant limitations in the way in which transformers learn and represent patterns in data. They also point out important differences between the procedures through which deep neural networks and humans acquire knowledge of natural language. It is necessary to look carefully at both sets of arguments in order to achieve a balanced assessment of the potential and the limitations of LLMs. (shrink)

Toldot adam 3 -- Bet ha-midot -- Sheʼelot u-teshuvot.

Was Maimonides a radical philosopher who subtly argued for a naturalist world and who saw the obligation to keep the Torah's commandments as a social and moral obligation - or was he a conservative Jewish believer who only tried to formulate philosophical arguments in favour of a revealed religion? This question has been central to the interpretation of Maimonides from the 12th century until modern times. In the four chapters of this book, Shalom Sadik argues for a radical philosophical (...) interpretation of Maimonides. (shrink)

IF THE OBJECT OF AN INQUIRY is a constituent of the physical world, such as a physical force or a chemical substance, it is not incumbent on the inquirer to raise the prior question of the basis and nature of inquiry itself. This is as true of the bodily functions of organisms endowed with subjective capacities as it is of the physical world within which the organism finds itself. But this situation no longer holds when the object of inquiry involves (...) the nature of subjectivity itself, and not simply the elements and processes of the spatio-temporal world from which subjects have emerged. Two centuries of research in the physical sciences have led to the conclusion that the physical universe is a process of cosmological and biological evolution which stretches back for billions of years prior to the appearance on this planet of any sort of subject, nonhuman or human. The supposition that an inference of this sort can be "theory-laden" to the point of invalidating the evolutionary inference itself will not be taken seriously here. Exactly how evolution is to be understood is certainly a problem, and is in fact one of the problems with which we are here concerned. But the essential premise, the fundamentally important point, is that organisms capable of subjective experience did emerge in the course of that evolution. It follows that if we are to attempt the analysis of a concept which does not refer simply to the physical world itself but both to that world and to the manner of conceiving it, then it is necessary to begin by situating subjectivity relatively to the evolutionary process. (shrink)

Ḥeleḳ 1. Haḳdamah - pereḳ 4 -- Ḥeleḳ 2. Pereḳ 5-10 --.

On the Fregean view of NP's, quantified NP's are represented as operator-variable structures while proper names are constants appearing in argument position. The Generalized Quantifier approach characterizes quantified NP's and names as elements of a unified syntactic category and semantic type. According to the Logicality Thesis, the distinction between quantified NP's, which undergo an operation of quantifier raising to yield operator-variable structures at Logical Form and non-quantified NP's, which appear in situ at LF, corresponds to a difference in logicality status. (...) The former are logical expressions while the latter are not. Using van Benthem's [2, 3] criterion for logicality, I extend the concept of logicality to GQ's. I argue that NP's modified by exception phrases constitute a class of quantified NP's which are heterogeneous with respect to logicality. However, all exception phrase NP's exhibit the syntactic and semantic properties which motivate May to treat quantified NP's as operators at LF. I present a semantic analysis of exception phrases as modifiers of GQ's, and I indicate how this account captures the central semantic properties of exception phrase NP's. I explore the consequences of the logically heterogeneous character of exception phrase NP's for proof theoretic accounts of quantifiers in natural language. The proposed analysis of exception phrase NP's provides support for the GQ approach to the syntax and semantics of NP's. (shrink)

Do innocent civilians who will be killed in a justified attack on a nearby military target have a right to defend themselves by shooting down the bomber pilot? I argue that they do not, and that Jeff McMahan's view that they do have such a right—that there is a moral equivalence between pilot and civilian—is flawed in much the same way that Michael Walzer's moral equivalence of combatants—a position that McMahan has so persuasively refuted—is flawed.

The capacity to recognise and interpret sluices—bare wh-phrases that exhibit a sentential meaning—is essential to maintaining cohesive interaction between human users and a machine interlocutor in a dialogue system. In this paper we present a machine learning approach to sluice disambiguation in dialogue. Our experiments, based on solid theoretical considerations, show that applying machine learning techniques using a compact set of features that can be automatically identified from PoS markings in a corpus can be an efficient tool to disambiguate between (...) sluice interpretations. (shrink)

The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. Some extensions to the type theory are discussed, type polymorphism, and enriching the system with sufficient number theory to account for quantifiers of proportion, such as “most.”.